The set-valued mapping based on ample fields
نویسندگان
چکیده
منابع مشابه
On Decision Procedures for Set-Valued Fields
An important feature of object-oriented programming languages is the ability to dynamically instantiate user-defined container data structures such as lists, trees, and hash tables. Programs implement such data structures using references to dynamically allocated objects, which allows data structures to store unbounded numbers of objects, but makes reasoning about programs more difficult. Reaso...
متن کاملAmple Fields
In this paper, we study the notion of an ample or complete field, a special case of the well-known fields and σ-fields of sets. These collections of sets serve as candidates for the domains of possibility and necessity measures, and are therefore important for the further development of a general fuzzy set and possibility theory. The existence of a one-one relationship between ample fields and ...
متن کاملDecision Procedures for Set-Valued Fields
A central feature of current object-oriented languages is the ability to dynamically instantiate user-defined container data structures such as lists, trees, and hash tables. Implementations of these data structures typically use references to dynamically allocated objects, which complicates reasoning about the resulting program. Reasoning is simplified if data structure operations are specifie...
متن کاملApproximations of Set-Valued Functions Based on the Metric Average
This paper investigates the approximation of set-valued functions with compact images (not necessarily convex), by adaptations of the Schoenberg spline operators and the Bernstein polynomial operators. When replacing the sum between numbers in these operators, by the Minkowski sum between sets, the resulting operators approximate only set valued functions with compact-convex images [10]. To obt...
متن کاملMorphisms of Varieties over Ample Fields
We strengthen a result of Michiel Kosters by proving the following theorems: (*) Let φ: W → V be a finite surjective morphism of algebraic varieties over an ample field K. Suppose V has a simple K-rational point a such that a / ∈ φ(W (Kins)). Then, card(V (K)rφ(W (K)) = card(K). (**) Let K be an infinite field of positive characteristic and let f ∈ K[X] be a nonconstant monic polynomial. Suppos...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computers & Mathematics with Applications
سال: 2008
ISSN: 0898-1221
DOI: 10.1016/j.camwa.2008.04.011